Changing the heights of automorphism towers by forcing with Souslin trees over L

نویسندگان

  • Gunter Fuchs
  • Joel David Hamkins
چکیده

We prove that there are groups in the constructible universe whose automorphism towers are highly malleable by forcing. This is a consequence of the fact that, under a suitable diamond hypothesis, there are sufficiently many highly rigid non-isomorphic Souslin trees whose isomorphism relation can be precisely controlled by forcing.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Iteratively Changing the Heights of Automorphism Towers

We extend the results of Hamkins and Thomas concerning the malleability of automorphism tower heights of groups by forcing. We show that any reasonable sequence of ordinals can be realized as the automorphism tower heights of a certain group in consecutive forcing extensions or ground models, as desired. For example, it is possible to increase the height of the automorphism tower by passing to ...

متن کامل

2 2 Fe b 20 06 Degrees of Rigidity for Souslin Trees ∗ Gunter

We investigate various strong notions of rigidity for Souslin trees, separating them under ♦ into a hierarchy. Applying our methods to the automorphism tower problem in group theory, we show under ♦ that there is a group whose automorphism tower is highly malleable by forcing.

متن کامل

Souslin Trees and Degrees of Constructibility

This thesis investigates possible initial segments of the degrees of constructibility. Specifically, we completely characterize the structure of degrees in generic extensions of the constructible universe L via forcing with Souslin trees. Then we use this characterization to realize any constructible dual algebraic lattice as a possible initial segment of the degrees of constructibility. In a s...

متن کامل

Some Problems and Techniques in Set-theoretic Topology

I survey some problems and techniques that have interested me over the years, e.g. normality vs. collectionwise normality, reflection, preservation by forcing, forcing with Souslin trees, and Lindelöf problems.

متن کامل

Changing the Heights of Automorphism Towers

If G is a centreless group, then τ(G) denotes the height of the automorphism tower of G. We prove that it is consistent that for every cardinal λ and every ordinal α < λ, there exists a centreless group G such that (a) τ(G) = α; and (b) if β is any ordinal such that 1 ≤ β < λ, then there exists a notion of forcing P, which preserves cofinalities and cardinalities, such that τ(G) = β in the corr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Symb. Log.

دوره 73  شماره 

صفحات  -

تاریخ انتشار 2008